K(P)@e == e':PossibleEvent(poss). R(e,e')  P(e') 

latex

---

clarification:

es-knows{i:l}(poss; R; P; e) == e':possible-event{i:l}(poss). R(e,e')  P(e') 

latex

Definitions	x:A. B(x), PossibleEvent(poss), P  Q, f(a)
FDL editor aliases	es-knows